#ifndef SPEC_NODE_H
#define SPEC_NODE_H

#include "attr_node.h"

#include <iostream>

class SpecNode : public AttrNode {

public:
	virtual ~SpecNode();

	virtual void print(std::ostream& out);
	virtual SpecNode* clone() const;

};

#endif //SPEC_NODE_H
